CFSIM: A Concurrent Compiled Code Functional Simulator for hopCP

A b str a c t C o n tro l in te n siv e IC s p o se a sign ifican t ch allenge to th e users o f fo rm a l m e th o d s in d esig n in g h ardw are. T h ese IC s h a ve to s u p p o r t a w id e v a r ie ty o f req u irem e n ts in clu d in g synchronous and asynchronous o p era ­ tion s, p o llin g an d in te rru p t-d riv e n m o d e s o f o p era tio n , m u ltip le con cu rrent th rea d s o f ex ecu tio n , co m p lex c o m p u ta tio n s , a n d p ro g ra m m a b ility. In th is p a p e r , we illu s tr a te th e use o f fo rm a l m e th o d s in th e design o f a co n tro l in te n siv e I C called th e " In te l 8 2 5 1 " U niversal S yn ch ro n o u s/A syn ch ro n o u s R e c e iv e r /T r a n s m itte r (U S A R T), u sing ou r fo rm a l h a rd w a re d escrip tio n la n gu age 'h o p C P '. A fea tu re o f h o p C P is th a t i t s u p p o r ts c o m m u n ic a tio n v ia asynchronous ports (d is tr ib u te d sh a red va ria b les w rita b le b y e x a c tly o n e p ro c ess), in a d d itio n to synchronous m essa g e passin g. We sh o w th e usefulness o f th is c o m b in a tio n o f …